Non-blocking algorithm - PDFSEARCH.IO - Document Search Engine

Non-blocking algorithm
Results: 218

#	Item
121	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
122	thrpt-abortable-hogwarts-CR-2CB-nCR-4usecs.eps Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2011-12-22 08:47:05 Computer programming Lock Spinlock Non-blocking algorithm Ticket lock Deadlock Parallel computing Mutual exclusion Test-and-set Concurrency control Computing Concurrency
123	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:34:31 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
124	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
125	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
126	Advances in Programming Languages APL5: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-04 19:36:38 Computer programming Lock Thread Non-blocking algorithm Software transactional memory Deadlock Erlang Actor model Parallel computing Computing Concurrency control Software engineering
127	A Comprehensive Strategy for Contention Management in Software Transactional Memory ∗ Michael F. Spear† Luke Dalessandro† Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2009-01-08 10:35:55 Computing Data Software transactional memory Non-blocking algorithm Lock Serializability Schedule Deadlock Linearizability Transaction processing Concurrency control Data management
128	Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency Takayuki Usui Yannis Smaragdakis Reimer Behrends Add to Reading List Source URL: transact09.cs.washington.edu Language: English - Date: 2009-02-23 11:37:16 Data management Data Lock Software transactional memory Non-blocking algorithm Linearizability Mutual exclusion Parallel computing Serializability Concurrency control Computing Transaction processing
129	Proving Correctness of Highly-Concurrent Linearisable Objects Viktor Vafeiadis Maurice Herlihy∗ Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:47 Data management Monitor Tree traversal Parallel computing B-tree Linearizability Mutual exclusion Non-blocking algorithm Thread Concurrency control Computing Computer programming
130	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2005-11-28 07:56:27 Concurrent computing Consensus Linearizability Communications protocol Lock Process Semaphore Futures and promises Non-blocking algorithm Concurrency control Computing Concurrency

UPDATE